f : (Str)a -> (Str)a
f = \x -> x

f ("Str", 42)
